let g be an element (non-identity) of a group G then g is its own inverse